//
// Created by papupupu on 12/24/2022.
//

#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"


int
main(int argc,char* args[])
{
    if(argc != 2){
        fprintf(2,"Usage: sleep time...\n");
        exit(1);
    }
    else{
        int sleeptime = atoi(args[1]);

        if(sleeptime > 0) sleep(sleeptime);
        else fprintf(2,"Usage: sleep time...\n");

        exit(0);
    }
}